New Type Checking Rules for OCL (Collection) Expressions
نویسنده
چکیده
The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to Rational’s UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of preand postconditions of operations. Despite of the fact that OCL is called a statically typed language its type checking rules are not precisely (enough) defined in the UML standard version 1.3. Its type checking rules have certain deficiencies concerning the treatment of collection manipulating operations. This paper sketches two different approaches for the definition of modified OCL type checking rules. These proposals are based on our experiences with the design of a rather similar constraint language that is part of the graph transformation language PROGRES.
منابع مشابه
New Type Checking Rules for OCL Expressions
The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to Rational’s UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of preand postconditions of operations. Despite of the fact that OCL is called a statically typed language its type che...
متن کاملTypechecking UML Static Models
UML static models are expressed using a mixture of class diagrams and OCL expressions. In a well formed static model, the OCL expressions and class diagrams are type consistent. Checking for type consistency of static models involves both inclusion and parametric poly-morphism. This paper deenes a semantics of type consistency in terms of a type theory for UML static models. The type theory is ...
متن کاملUsing an OCL Impact Analysis Algorithm for View-Based Textual Modelling
The Object Constraint Language (OCL) has become a vital part of many frameworks, tools and languages within model-driven engineering. One such application of OCL is the use for describing rules in concrete syntax definitions. Within the textual modeling framework FURCAS, OCL is extensively used for the definition of lookup and attribution rules. Based on these rules the model which is described...
متن کاملRules for type-checking of parametric polymorphism in EMF generics
The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametric polymorphism (also known as “parameterized types” or “generics”) thus achieving the same benefits realized in other generic type systems (most notably, Java 5). To our knowledge, this is the first formal account in the liter...
متن کاملEquational Specification of UML+OCL Static Class Diagrams
In this paper we propose an equational specification of UML+OCL static class diagrams that provides a formal foundation for automatically validating UML object diagrams with respect to OCL constraints. Basically, class and object UML diagrams are specified as membership equational theories, and OCL expressions are represented as terms over extensions of those theories. Then, validating object d...
متن کامل